#include "golden_trace.h"
#include <stdint.h>

void init_golden(){
    goldenTrace_fp = fopen("golden_trace.txt", "w");
}

void golden_trace(uint32_t pc_val, uint32_t reg_id, uint32_t reg_val){
    fprintf(goldenTrace_fp, "0x%08x\t\t%2d\t\t%08x\n", pc_val, reg_id, reg_val);
    fflush(goldenTrace_fp);
}

void end_golden(){
    fclose(goldenTrace_fp);
}